Vector-logic computing for faults-as-address deductive simulation

Reversible Logic as a Strategy for Computing

Planning as Deductive Synthesis in Intuitionistic Linear Logic

We describe a new formalisation in Isabelle/HOL of Intuitionistic Linear Logic and consider the support this provides for constructing plans using deductive synthesis of the proof terms. This representation of plans in linear logic provides a concise account of planning with sensing actions, allows the creation and deletion of objects, and solves the frame problem in an elegant way. Within this...

Address Decoder Faults and their Tests for Two-Port Memories

A two-port memory contains two duplicated sets of address decoders which operate independently. In this paper the effects of interference and shorts between the address decoders of the two ports on the fault modeling are investigated. Fault models and their tests are introduced, together with the test strategy.

Deductive Calculation Library for KEGG Pathway Simulation

KEGG, Kyoto Encyclopedia of Genes and Genomes, project consists of three types of data, pathways, hierarchies, and binary relations, that are used to represent biological knowledge. We present here a C++ library for e cient calculation of possible pathways from binary relations. In practice, the library is used to calculate metabolic pathways from the substrate-product relations of enzymes stor...

Cloud Computing and Faults in Cloud Computing

Cloud computing is an emerging concept combining many fields of computing Cloud computing will play a major role in the Internet of Services, enabling on-demand provisioning of applications, platforms, and computing infrastructures.. The foundation of cloud computing is the delivery of services, software and processing capacity over the Internet, reducing cost, increasing storage, automating sy...